Analysis and Supervisory Control of a Pressurizer using Coloured Petri Nets

An approach for constructing a discrete event supervisory controller is proposed in this paper that is based on the qualitative dynamic model of the controlled system described by coloured Petri nets (CPNs). The structure of the state space is explored and partitioned by generating the reachability graph of the controlled system. The supervisor is then constructed to avoid the system to reach states that require emergency cooling or heating based on the partitioned reachability graph. The proposed approach is illustrated by using a simple, but industrially important example of a pressurizer in a pressurized water nuclear power plant.